1. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
H2785
1992
2. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
